\begin{tabbing}
ma{-}prob{-}da($M$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$\forall$$b$:Id.\+
\\[0ex]ma{-}prob{-}da{-}dom($M$;$b$)
\\[0ex]\& (($\uparrow$$b$ $\in$ dom($M$.prob)) $\Rightarrow$ (($M$.da(locl($b$)) $\subseteq$r Outcome) \& (Outcome $\subseteq$r $M$.da(locl($b$)))))
\-
\end{tabbing}